finite subcomplex

有限子复形